#include <errno.h>

int __nacl_abi_errno_to_errno(int err) {
  return err;
}

int __errno_to_nacl_abi_errno(int err) {
  return err;
}